<HTML><HEAD><TITLE>listing ++SpecList</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Dynamic Predicates</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>listing ++SpecList</H1>
Outputs the definition of all dynamic predicates indicated by SpecList.


<DL>
<DT><EM>SpecList</EM></DT>
<DD>Sequence of expressions of the form Atom/Integer or just                Atom.
</DD>
</DL>
<H2>Description</H2>
   Outputs the definition of all dynamic predicates defined by SpecList to
   the standard output.  An expression in SpecList may be a single
   predicate in the form name/arity in which case only the clauses for
   name/arity are printed.  Alternatively the format name is accepted in
   which case all the predicates of any arity associated with name are
   output.

<P>
   The individual clauses are output in indented format using
   writeclause/2.

<P>
   No static predicates are output.

<P>

<H3>Modes and Determinism</H3><UL>
<LI>listing(++) is det
</UL>
<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H3>Exceptions</H3>
<DL>
<DT><EM>(4) instantiation fault </EM>
<DD>An expression in SpecList is not instantiated.
<DT><EM>(5) type error </EM>
<DD>An expression in SpecList is not of the form Atom/Integer or    Atom.
<DT><EM>(63) procedure not dynamic </EM>
<DD>An expression in SpecList is not a dynamic procedure.
</DL>
<H2>Examples</H2>
<PRE>
Success:
    [eclipse]: [user], assert(woman(eve)).
     :- dynamic p/0.
     p.
     user compiled 0 bytes in 0.00 seconds
    yes.
    [eclipse]: listing p/0, woman/1.
    p .
    woman(eve) .
    yes.

Error:
    listing X.                  (Error 4).
    listing a/a.                (Error 5).
    listing z/3.                (Error 63).



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/dynamic/assert-1.html">assert / 1</A>, <A HREF="../../kernel/dynamic/clause-1.html">clause / 1</A>, <A HREF="../../kernel/dynamic/clause-2.html">clause / 2</A>, <A HREF="../../kernel/dynamic/listing-0.html">listing / 0</A>, <A HREF="../../kernel/ioterm/writeclause-1.html">writeclause / 1</A>
</BODY></HTML>
